Vés al contingut

Sèrie L de Dirichlet

De la Viquipèdia, l'enciclopèdia lliure
Johann Peter Gustav Lejeune Dirichlet

En Matemàtiques, una sèrie L de Dirichlet, és una sèrie del pla complex utilitzada en teoria analítica dels nombres.

Per continuació analítica, aquesta funció es pot estendre a una funció meromorfa en tot el pla complex.

Es construeix a partir d'un caràcter de Dirichlet i, en el cas on el caràcter és trivial, la funció L de Dirichlet s'identifica amb la funció zeta de Riemann.

Aquestes propietats permeten demostrar el teorema sobre els nombres primers en les progressions aritmètiques.

S'anomena així en l'honor del matemàtic alemany Johann Peter Gustav Lejeune Dirichlet (1805-1859).

Definicions

[modifica]

Sigui χ un caràcter de Dirichlet mòdul q on q és un enter estrictament positiu i s un nombre complex de part real superior a 1.

  • La sèrie L de Dirichlet per al caràcter χ en el punt s, notada L(s , χ), ve donada per la fórmula següent:
  • La sèrie L de Dirichlet d'un caràcter es perllonga analíticament sobre C. Aquest prolongament s'anomena Funció L de Dirichlet i també es nota L(s, χ).

Comportament en el punt 1

[modifica]

El comportament dels sèrie en el punt u és la clau del teorema de la progressió aritmètica. És la raó per la qual Dirichlet va definir aquestes sèries. Aquí, N designa el conductor dels caràcters estudiats i χ0 el caràcter principal.

  • El punt u és un pol del caràcter principal.
  • Tot caràcter no principal és definit i analític sobre el semi-pla complex de part real estrictament positiva.

El que significa que no admet cap pol sobre aquesta regió.

  • El punt u no és arrel de cap sèrie L de Dirichlet construïda amb l'ajuda d'un dels caràcters.

Zéros de les funcions L de Dirichlet

[modifica]

Si és un caràcter primitiu amb , llavors només els zéros de amb Re(s)<0 són els enters parells negatius. Si és un caràcter primitiu amb , llavors només els zéros de amb Re(s)<0 són els enters imparells negatius.

Fins a l'existència possible d'un zero de Siegel, es coneix l'existència de regions sense incloure zero i més enllà de la recta Re(s)=1 similars a la funció zeta de Riemann per a totes les funcions L de Dirichlet.

De la mateixa manera que la funció de zeta de Riemann es conjectura com que compleix la hipòtesi de Riemann, les funcions L de Dirichlet es conjectura que compleixen la hipòtesi de Riemann generalitzada.

Equació funcional

[modifica]

Se suposa que és un caràcter primitiu de mòdul k. Definint

on designa la funció gamma i el símbol a ve donat per

es té l'equació funcional

Aquí, s'ha escrit per al sumatori de Gauss

.

Nota : .

Relació amb la funció zeta de Hurwitz

[modifica]

Les funcions L de Dirichlet es poden escriure com una combinació lineal de funcions zeta de Hurwitz amb valors racionals. Fixant un enter , les funcions L de Dirichlet per als caràcters mòdul k són les combinacions lineals, amb coeficients constants, de on q = m/k i m = 1, 2..., k. Això significa que la funció zeta de Hurwitz per a un de racional q posseeix propietats analítiques que estan íntimament vinculades a les funcions L de Dirichlet. Precisament, sigui un caràcter mòdul k. Llavors, es pot escriure la seva funció L de Dirichlet sota la forma

.

En particular, la funció L de Dirichlet del caràcter mòdul 1 dona la funció zeta de Riemann:

.

Referències

[modifica]

Enllaços externs

[modifica]